Towards Validation of E-Services Composition: Transforming eFlow to Petri-Nets
نویسندگان
چکیده
Web services composition is the ability to integrate existing services to have value added services. Workflow-based services composition is one of the approaches proposed. eFlow is one of the Workflow-based service composition approaches. The approach is strong in providing a platform for adaptive and dynamic web services composition. However, it neglects the validation of the Quality of Services (QoS). This paper proposes an initial work to validate the QoS of web services composition. We propose an approach to transform eFlow to PetriNet. We also extend existing Petri-Net by introducing a new component with new firing rule. Our preliminary result is to show that formal validation techniques like Petri-Net are useful towards validating the QoS of e-services composition.
منابع مشابه
Transforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTowards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets
E-contracting, i.e., establishing and enacting electronic contracts, has become important because of technological advances (e.g., the availability of web services) and more open markets. However, the establishment of an e-contract is complicated and error prone. There are multiple negotiation styles ranging from auctions to bilateral bargaining. This paper provides an approach for modeling mul...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملWeb Services Modeling and Composition Approach using Object-Oriented Petri Nets
Nowadays, with the emergence and the evolution of new technologies, such as e-business, a large number of companies are connected to Internet, and have proposed web services to trade. Web services as presented, are conceptually limited components to relatively simple functionalities. Generally, a single service does not satisfy the users needs that are more and more complex. Therefore, services...
متن کامل